1. $x$ : $\mathbb{Z}$
\\[0ex]$\vdash$  if 0 $\leq$z $x$ then $x$ else {-}$x$ fi  $\in$ $\mathbb{N}$